nombre femenino La que opera utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos Cita extraida del diccionario de la RAE lógica formal lógica matemática